#include "vxWorks.h"
#include "taskLib.h"
#include "semLib.h"
#include "sysLib.h"

void main()
{
	printf("Hello World");
}
